package ch.epfl.lara.matcheck.util;


import scala.collection.immutable.{Map,HashMap}

trait Environment {
  
  // Environment of substitutions
  type Env = Map[String,String]
  
  // empty map
  val empty_map: Env = HashMap.empty 

}
